Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Proof-Net Categories

 Автор: , Автор:
Размер книги: 612 Kb

Proof-Theoretical Coherence

 Автор: , Автор:
Размер книги: 1.44 Mb